8

Incremental modeling and verification of flexible manufacturing systems

Year:
1999
Language:
english
File:
PDF, 213 KB
english, 1999
10

Consistency verification in modeling of real-time systems

Year:
2004
Language:
english
File:
PDF, 288 KB
english, 2004